/******************************************************************************

Copyright (C) 2018 - 2020 Xilinx, Inc. All rights reserved.
SPDX-License-Identifier: MIT
******************************************************************************/

#ifndef __PLATFORM_CONFIG_H_
#define __PLATFORM_CONFIG_H_

#define STDOUT_IS_PSU_UART
#define UART_DEVICE_ID 0
#endif
